Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
831	Acute High-level programming language design for distributed computation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-10-12 04:46:10 Functional languages Procedural programming languages Type theory Models of computation Program analysis Type system Standard ML Type safety Programming language Software engineering Computing Programming language theory
832	1 Under consideration for publication in J. Functional Programming Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-04-11 12:18:52 Type theory Functional languages Procedural programming languages Data types C++ Standard ML Type system Type safety Programming language Software engineering Computing Programming language theory
833	Time-Motion Analysis of Clinical Nursing Documentation During Implementation of an Electronic Operating Room Management System for Ophthalmic Surgery Sarah Read-Brown, BA,1 David S. Sanders, BS,1 Anna S. Brown, RN,1 Thom Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Health informatics Electronic health record Health information technology Practice management software Computerized physician order entry Patient safety Operating room management Medical record Nursing in the United Kingdom Medicine Health Medical informatics
834	Implementation of the Veteran Health Administration (VHA) VistA Clinical Information System Around the World Add to Reading List Source URL: www.shepherd.edu Language: English - Date: 2008-11-23 13:27:45 Medical informatics United States Department of Veterans Affairs Public domain software Public health VistA Veterans Health Administration Electronic health record Health information technology Patient safety Health Medicine Health informatics
835	Language with a Pluggable Type System and Optional Runtime Monitoring of Type Errors Jukka Lehtosalo and David J. Greaves Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-06-09 10:37:43 Computer programming Type system Type safety Duck typing Python Dynamic dispatch Objective-C Generic programming C Software engineering Computing Type theory
836	Safety Critical Systems: Challenges and Directions John C. Knight Department of Computer Science Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2003-03-04 10:29:13 Safety engineering Software quality Safety Design for X Life-critical system Computer security System safety Reliability engineering Embedded system Security Systems engineering Technology
837	FAA System Safety Handbook, Appendix D December 30, 2000 Add to Reading List Source URL: www.faa.gov Language: English - Date: 2013-03-19 16:44:29 Design Object-oriented programming Programming paradigms Formal methods Systems engineering Object-oriented analysis and design Reliability engineering Computer programming Structured analysis Software engineering Software design Software development
838	Intended for submission to the Revival of Dynamic Languages Static Typing Where Possible, Dynamic Typing When Needed: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-05-07 17:01:04 Computer programming Data types Object-oriented programming Functional programming Polymorphism Type system Type safety Dynamic programming language Covariance and contravariance Software engineering Computing Type theory
839	The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Data types Source code Type theory C++ Cross-platform software Assertion C Pointer Type system Computer programming Computing Software engineering
840	Type-safe covariance: Competent compilers can catch all catcalls Mark Howard1, Éric Bezault1, Bertrand Meyer2, 3, Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:31:40 Object-oriented programming Computer programming Data types Polymorphism Covariance and contravariance Eiffel Type system Generic programming Type safety Software engineering Computing Type theory

UPDATE